#ifndef __KPROCESS_H
#define __KPROCESS_H
#include "stdtype.h"

/* execute a kernel process application (elf) */
mx_size_t mx_kprocess_exec (mx_uint8_pt elf, mx_usize_t argc, char** argv);

#endif
